Automated Creation of Pattern Database Search Heuristics
نویسنده
چکیده
Pattern databases are dictionaries for heuristic estimates storing state-to-goal distances in state space abstractions. Their effectiveness is sensitive to the selection of the underlying patterns. Especially for multiple and additive pattern databases, the manual selection of patterns that leads to good exploration results is involved. For automating the selection process, greedy bin-packing has been suggested. This paper proposes genetic algorithms to optimize its output. Patterns are encoded as binary strings and optimized using an objective function that predicts the heuristic search tree size based on the distribution of heuristic values in abstract space. To reduce the memory requirements we construct the pattern databases symbolically. Experiments in heuristic search planning indicate that the total search efforts can be reduced significantly.
منابع مشابه
A Pattern Database Approach for Solving the TopSpin Puzzle Problem
Finding optimal solutions for general search problems is a challenging task. A powerful approach for solving such problems is based on heuristic search with pattern database heuristics. In this thesis, we present a domain specific solver for the TopSpin Puzzle problem. This solver is based on the above-mentioned pattern database approach. We investigate several pattern databases, and evaluate t...
متن کاملImproving Heuristics through Search
We investigate two methods of using limited search to improve admissible heuristics for planning, similar to pattern databases and pattern searches. We also develop a new algorithm for searching AND/OR graphs.
متن کاملAutomated Pattern Database Design
Pattern databases are dictionaries for heuristic estimates based on state-to-goal distances in state space abstractions. Their effectiveness is sensitive to the selection of the underlying patterns. Especially for multiple and additive pattern databases, a manual selection of pattern sets that lead to good exploration results is involved. For automating the selection process, greedy bin-packing...
متن کاملSearch Methods Revisited
In this chapter, we review the work of automated geometry theorem proving based on heuristic search methods and report some recent advances in this direction, especially the geometry deductive database which shows surprising power in terms of proving and discovering difficult geometry theorems. We also discuss several key issues in developing an efficient geometry theorem prover with heuristic ...
متن کاملConstruction of Pattern Database Heuristics using Cost Partitioning
Pattern databases (Culberson & Schae er, 1998) or PDBs, have been proven very e ective in creating admissible Heuristics for single-agent search, such as the A*-algorithm. Haslum et. al proposed, a hill-climbing algorithm can be used to construct the PDBs, using the canonical heuristic. A di erent approach would be to change action-costs in the pattern-related abstractions, in order to obtain t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006